4 Experimental Results Probability Assignment Algorithm 2.2 Relationship of Output Probabilities and the Rm Spectra

We have presented a behavioral to structural translator that utilizes the V erilog HDL for output. The translator produces a netlist in GRM form ooering the many advantages present in this class of circuits such as ease of testability and a reduced logic gate count. The tool is constructed in a modular manner so that other synthesis functions may be used as they become available. The mathematical methodology used as a basis for the implementation of the synthesis function in this tool has been presented. Further, an example circuit has been translated and the results were provided. Further work is planned to incorporate heuristics for estimating an optimal polarity number in the front end of this tool based upon the structure of the input BDD. The goal will be to estimate polarity numbers that minimize the number of AND gates resulting in the output netlist. We also plan to extend this technique to use shared BDDs such as those proposed in 15] so that multi-output netlists may be generated. 20 product term, the second contains the size of the composition BDD in terms of vertices, and the third column contains the RM spectral coeecient. The product terms are given using the corresponding labels in the ISCAS85 netlist for designation. Table 1: 1 st Order RM Coeecients for Output 329gat of Circuit c432 PRODUCT kf g c k COEFFICIENT 1gat 1387 0 4gat 2156 1 11gat 1389 0 17gat 2160 1 24gat 1393 0 30gat 2168 1 37gat 1401 0 43gat 2184 1 50gat 1417 0 60gat 1488 1 73gat 1558 1 86gat 1712 1 99gat 2028 1 112gat 2027 1 The netlist for this example has a similar structure to that in the rst example. For those coeecients that are 0-valued, no output is generated in the netlist, for those that are 1-valued, a product term is output to the netlist le. 2 These results show the input and output of our translation tool. The output in these examples is in GRM form with all inputs uncomplemented. This is the polarity-0 GRM form. Other unique GRM forms can also be computed by providing alternate polarity number inputs. For the purposes of illustration, the equivalent polarity-0 RM equation is given in Equation 20. (20) 2 Example 2 The example circuit is the standard benchmark circuit named c432 which is part of the ISCAS85 set. Table 2 contains a subset of the …